Denotational semantics - PDFSEARCH.IO - Document Search Engine

Denotational semantics
Results: 326

#	Item
91	Faithfulness of the VLISP Operational Semantics William M. Farmer Joshua D. Guttman John D. Ramsdell Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Applied mathematics Denotational semantics Operational semantics Theoretical computer science Logic in computer science Programming language semantics
92	c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands Results and Conclusions from the VLISP Verication Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Programming language theory Programming language semantics Programming language implementation Compiler construction Denotational semantics PreScheme Compiler Formal methods Programming language Software engineering Theoretical computer science Logic in computer science
93	Pointcuts and Advice in Higher-Order Languages David B. Tucker and Shriram Krishnamurthi Department of Computer Science Brown University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:24 Aspect-oriented programming AspectJ Join point Pointcut Lambda calculus Closure Continuation Denotational semantics Grammatical aspect Software development Software Aspect-oriented software development
94	Ultrametric Semantics of Reactive Programs Neelakantan R. Krishnaswami Nick Benton Microsoft Research Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-04-05 08:15:20 Software engineering Natural deduction Proof theory Denotational semantics Monad Symbol Orbifold Theoretical computer science Deduction Mathematical logic
95	Semantics of Plan Revision in Intelligent Agents M. Birna van Riemsdijk John-Jules Ch. Meyer Frank S. de Boer Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2004-01-23 02:56:37 Computer science Models of computation Programming language semantics Denotational semantics Operational semantics State transition system Programming language Semantics Meta-programs Theoretical computer science Logic in computer science Applied mathematics
96	The Semantics of Scheme Control-Flow Analysis Olin Shivers School of Computer Science Carnegie Mellon Pittsburgh, Pennsylvania 15213 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:31 Functional programming Models of computation Logic in computer science Lambda calculus Programming language semantics Continuation-passing style Denotational semantics Free variables and bound variables Closure Software engineering Computing Computer programming
97	Distributed Games and Strategies Glynn Winskel The notion of deterministic/nondeterministic strategy is potentially as fundamental as the notion of function/relation. A broad enough notion of strategy must be planted fir Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-03-17 07:19:58 Logic in computer science Computer science Applied mathematics Denotational semantics Petri net Determinacy Strategy Models of computation Theoretical computer science Concurrency
98	The VLISP Flattener J. D. Guttman L. G. Monk W. M. Farmer Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Brainfuck Percent-encoding Null character Denotational semantics Programming language theory ZPAQ Computing Theoretical computer science Control characters
99	Under consideration for publication in Math. Struct. in Comp. Science A Step-Indexed Kripke Model of Hidden State Jan Schwinghammer (Saarland University, Saarbr¨ ucken) Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-01-05 06:52:11 Model theory Modal logic Denotational semantics Logic in computer science Kripke semantics Structure Natural deduction Orbifold Logic Mathematical logic Mathematics
100	BRICS Basic Research in Computer Science BRICS DS-01-6 B. Grobauer: Topics in Semantics-based Program Manipulation Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-24 07:35:52 Logic in computer science Evaluation strategy Incremental computing Partial evaluation Models of computation Denotational semantics Olivier Danvy BRIC Monad Software engineering Computing Programming language theory

UPDATE